On Mobility and Communication
نویسندگان
چکیده
By imposing three semantic constraints on the π-calculus equipped with delayed input, we obtain a variant of the π-calculus. We prove that Hennessy and Riely’s distributed π-calculus can be encoded into this new model, satisfying a full abstraction theorem, which means that one-dimensional mobility can be characterized by communication. We also discuss the difficulties of expressing two-dimensional mobility, the mechanism used by ambient calculi.
منابع مشابه
Understanding Temporal Human Mobility Patterns in a City by Mobile Cellular Data Mining, Case Study: Tehran City
Recent studies have shown that urban complex behaviors like human mobility should be examined by newer and smarter methods. The ubiquitous use of mobile phones and other smart communication devices helps us use a bigger amount of data that can be browsed by the hours of the day, the days of the week, geographic area, meteorological conditions, and so on. In this article, mobile cellular data mi...
متن کاملVehicular Networks: A Survey on Architecture, Communication Technologies and Applications
The Intelligent Transportation System (ITS) provides wireless and mobile communication between vehicles and infrastructure to improve the safety of transportation and make the journey more enjoyable. This system consists of many fixed and mobile nodes (Vehicles, Trains, Vessels, Air planes), Wireless and Wired Telecommunication Technologies to exchange information between mobile nodes or betwee...
متن کاملThe Health Mobility Is All True Mobility?; Comment on “Regional Incentives and Patient Cross-border Mobility: Evidence From the Italian Experience”
In their study, Brenna and Spandonaro analyzed the mobility into Italian regions. In particular, it analyzes the situation of 5 regions, with very different backgrounds. With this paper, we try to better define the meaning of health mobility and to find its underlying causes. Furthermore, we propose a strategy that could help in controlling mobility flows that currently are the source of health...
متن کاملImproving Quality of Service Routing in Mobile Ad Hoc Networks Using OLSR
Mobile ad hoc networks (MANET) are constructed by mobile nodes without access point. Since MANET has certain constraints, including power shortages, an unstable wireless environment and node mobility, more power-efficient and reliable routing protocols are needed. The OLSR protocol is an optimization of the classical link state algorithm. OLSR introduces an interesting concept, the multipoint r...
متن کاملInterregional Patient Mobility in the Italian NHS: A Case of Badly-Managed Decentralization; Comment on “Regional Incentives and Patient Cross-Border Mobility: Evidence From the Italian Experience”
The article by Brenna and Spandonaro on interregional mobility for acute hospital care in Italy raises important issues concerning social and territorial equity in a healthcare system. Based on Regions and private providers’ strategic behavior, the hypothesis adopted to explain patient cross-border mobility (CBM), demonstrated by statistical analysis, may be further explored using qualitative m...
متن کاملA NEW BIOLOGICAL SCREENING SYSTEM FOR LOCAL ANAESTHETICS BY INHIBITION MOBILITY OF TETRAHYMENA PYRIFORMIS
An alternative in vitro approach to drug screening has been the use of human cell cultures for antiviral agents and microbial cell cultures for the assessment of the carcinogenic potential of selected compounds. A number of protozoan species have been also used as drug screens for anti-protozoal agents. The ciliated protozoan Tetrahymena pyriformis species has been widely utilised as a dru...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 257 شماره
صفحات -
تاریخ انتشار 2009